Higher-order interpretations and program complexity
نویسندگان
چکیده
منابع مشابه
Higher-Order Interpretations and Program Complexity
Polynomial interpretations and their generalizations like quasi-interpretations have been used in the setting of first-order functional languages to design criteria ensuring statically some complexity bounds on programs [8]. This fits in the area of implicit computational complexity, which aims at giving machine-free characterizations of complexity classes. In this paper, we extend this approac...
متن کاملHigher-order Interpretations and Program Complexity (Long Version)
Polynomial interpretations and their generalizations like quasi-interpretations have been used in the setting of first-order functional languages to design criteria ensuring statically some complexity bounds on programs [1]. This fits in the area of implicit computational complexity, which aims at giving machine-free characterizations of complexity classes. Here we extend this approach to the h...
متن کاملPolynomial Interpretations for Higher-Order Rewriting
The termination method of weakly monotonic algebras, which has been defined for higher-order rewriting in the HRS formalism, offers a lot of power, but has seen little use in recent years. We adapt and extend this method to the alternative formalism of algebraic functional systems, where the simply-typed λ-calculus is combined with algebraic reduction. Using this theory, we define higher-order ...
متن کاملHigher-Order Program Generation
This dissertation addresses the challenges of embedding programming languages, specializing generic programs to specific parameters, and generating specialized instances of programs directly as executable code. Our main tools are higher-order programming techniques and automatic program generation. It is our thesis that they synergize well in the development of customizable software. Recent res...
متن کامل“Ought implies Can”: secondary and higher-order interpretations
In this paper we will investigate the “Ought implies Can” (OIC) thesis. We will concentrate on explanations and interpretations of OIC, clarifying its uses and relevance. The OIC thesis is relevant to debates that ranges from semantics and pragmatics to legal philosophy, deontic logic and the philosophy of action and mind. We state the different theses that have been proposed concerning OIC and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2016
ISSN: 0890-5401
DOI: 10.1016/j.ic.2015.12.008